Karl Popper’s Objective Knowledge stands at the threshold of his last major philosophical phase, the period from his retirement from the London School of Economics in 1969 until his death in 1994. The two great books that he wrote before he came to London, Logik der Forschung and The Open Society and Its Enemies, contain much more than the innovations in the theory of scientific method and the theory of democracy for which they are famous. Logik der Forschung, translated into (...) English as The Logic of Scientific Discovery, is by no means just a tract, even a revolutionary one, on the methods of science, since about one third of the text is devoted to searchingly original treatments of the frequency theory of probability and of the interpretation of quantum mechanics, whilst the unpublished manuscript on which the book was based, Die beiden Grundprobleme der Erkenntnistheorie, at whose content it often hints, presents a wealth of significant material on the psychology of human learning and its biological context. Popper had, after all, been a student of Karl B¨uhler, and had absorbed the theories of problem solving developed within the W¨urzburg School. The Open Society and Its Enemies, for its part, is not so much a book defending democratic liberalism as a defence of democratic liberalism nestling within a book that discusses every other topic under the sun. It offers profound and provocative studies of the thought of Plato and Marx, an abundance of scholarly, if often controversial, historical interpretations of the work of Heraclitus, Aristotle, Hegel, J. S. Mill, Wittgenstein, Mannheim, and others, the elements of a new theory of rationality, and many elucidations of the workings of science that go beyond what is explicit in Logik der Forschung. One insight worth mentioning, since it is little known, is the clear recognition in section II of Chapter 11 that most important advances in science are revolutionary, not cumulative; a commonplace today perhaps, but one that many philosophers attribute to Kuhn. Another insight, also often forgotten, is the emphasis in Chapter 23 on the social character of science, which acts as the main custodian of its claim to objectivity. (shrink)

Communities often unite during a crisis, though some cope by ascribing blame or stigmas to those who might be linked to distressing life events. In a preregistered two-wave survey, we evaluated the dehumanization of Asians and Asian Americans during the COVID-19 pandemic. Our first wave revealed dehumanization was prevalent, between 6.1% and 39% of our sample depending on measurement. Compared to non-dehumanizers, people who dehumanized also perceived the virus as less risky to human health and caused less severe consequences for (...) infected people. They were more likely to be ideologically Conservative and believe in conspiracy theories about the virus. We largely replicated the results 1 month later in our second wave. Together, many Americans dehumanize Asians and Asian Americans during the COVID-19 pandemic with related perceptions that the virus is less problematic. Implications and applications for dehumanization theory are discussed. (shrink)

ExcerptIf recent discussions of Schmitt in these pages have made a broad case for the centrality of culture for his thinking, the current issue both specifies and generalizes this approach. The specificity derives from our focus on one key text by Schmitt that is often passed over but is in fact crucial for understanding his work. The generality is a result of the breathtaking sweep of issues that this text opens up for the contributors to this issue: the relation of (...) sovereignty to popular will, the ontological status of modernity, the role of myth in society, the representational structure of…. (shrink)

During the last years of his life, the mathematician Karl Menger worked on a biography of his father, the economist and founder of the Austrian School of Economics, Carl Menger. The younger Menger never finished the work. While working in the Menger collections at Duke University’s David M. Rubenstein Rare Book and Manuscript Library, we discovered draft chapters of the biography, a valuable source of information given that relatively little is known about Carl Menger’s life nearly a hundred years (...) after his death. The unfinished biography covers Carl Menger’s family background and his life through early 1889. In this article, we discuss the biography and the most valuable new insights it provides into Carl Menger’s life, including Carl Menger’s family, his childhood, his student years, his time working as a journalist and newspaper editor, his early scientific career, and his relationship with Crown Prince Rudolf. (shrink)

ABSTRACTIf war is an inevitable condition of human nature, as David Hume suggests, then what type of societies can best protect us from defeat and conquest? For David Hume, commerce decreases the relative cost of war and promotes technological military advances as well as martial spirit. Commerce therefore makes a country militarily stronger and better equipped to protect itself against attacks than any other kind of society. Hume does not assume commerce would yield a peaceful world nor that (...) commercial societies would be militarily weak, as many contemporary scholars have argued. On the contrary, for him, military might is a beneficial consequence of commerce. (shrink)

Recent publications (Henrich, Seeberg) claim that Kant has been profoundly influenced by contemporary publications on juridical deductions. I try to show, that this cannot be right. The introductory note of the “Transcendental Deduction” (Critique of Pure Reason A 84) poses two questions: “quid facti?” and “quid juris?”. The first is answered by the demonstration of the possibility of relations between pure concepts and pure intuition und sensations, the second by the implicit refutation of David Hume. Kant and his interpreters (...) sustain the possibility of using juridical concepts, that are neither related to real juridical facts nor are only metaphers, but have a special philosophical signification. But what should that be? (shrink)

This paper provides a discussion to which extent the Mathematician David Hilbert could or should be considered as a Philosopher, too. In the first part, we discuss some aspects of the relation of Mathematicians and Philosophers. In the second part we give an analysis of David Hilbert as Philosopher.

In 2000, Rüdiger Thiele [1] found in a notebook of David Hilbert, kept in Hilbert's Nachlass at the University of Göttingen, a small note concerning a 24th problem. As Hilbert wrote, he had considered including this problem in his famous problem list for the International Congress of Mathematicians in Paris in 1900.

Although their contributions to the history of economic thought and their scholarly reputations are firmly established, relatively little is known about the relationship between Carl Menger, founder of the Austrian School of economics, and his son, Karl Menger, the mathematician, geometer, logician, and philosopher of science, whose famous Mathematical Colloquium at the University of Vienna was central to the early literature on the existence of general equilibrium and the concomitant development of mathematical economics. The present paper begins to fill this (...) gap. Karl Menger’s diaries, held in the David M. Rubenstein Rare Book and Manuscript Library at Duke University, offer insight into the intimate relationships within the Menger clan, Karl’s work and study habits, and the development of his uncommonly broad intellect, as well as on life in a vanquished city, Vienna, in the immediate wake of the humiliating defeat of the First World War and the disintegration of the Habsburg Empire. (shrink)

In 2000, Rüdiger Thiele [1] found in a notebook of David Hilbert, kept in Hilbert's Nachlass at the University of Göttingen, a small note concerning a 24th problem. As Hilbert wrote, he had considered including this problem in his famous problem list for the International Congress of Mathematicians in Paris in 1900.

In 2000, a draft note of David Hilbert was found in his Nachlass concerning a 24th problem he had consider to include in the his famous problem list of the talk at the International Congress of Mathematicians in 1900 in Paris. This problem concerns simplicity of proofs. In this paper we review the traces of this problem which one can find in the work of Hilbert and his school, as well as modern research started on it after its publication. (...) We stress, in particular, the mathematical nature of the problem.1. (shrink)

People are typically poor at telling apart truthful and deceptive statements. Based on the Unconscious Thought Theory, it has been suggested that poor lie detection arises from the intrinsic limitations of conscious thinking and can be improved by facilitating the contribution of unconscious thought. In support of this hypothesis, Reinhard, Greifeneder, and Scharmach (2013) observed improved lie detection among participants engaging in unconscious thought. The present study aimed to replicate this unconscious thought advantage using a similar experimental procedure but (...) with an important improvement in a key control condition. Specifically, participants judged the truthfulness of 8 video recordings in three thinking modes: immediately after watching them or after a period of unconscious or conscious deliberation. Results from two experiments (combined N = 226) failed to reveal a significant difference in lie detection accuracy between the thinking modes, even after efforts were made to facilitate the occurrence of an unconscious thought advantage in Experiment 2. The results imply that the unconscious thought advantage in deception detection is not a robust phenomenon. (shrink)

'Nun aber kam die Kritik der Urteilskraft mir zuhanden, und dieser bin ich eine höchst frohe Lebensepoche schuldig.' (Goethe, 1817) In der Epoche der klassischen deutschen Philosophie galt Kants 'Kritik der Urteilskraft' beim gelehrten Publikum als 'beliebteste' Kantschrift. Heute wird sie weitestgehend fragmentarisch und mit einem deutlichen Schwerpunkt auf der Kritik der ästhetischen Urteilskraft gelesen. Obwohl sich der vorliegende Sammelband der gesamten dritten Kritik widmet, versuchen die Autoren insbesondere einen verstärkten Diskurs über Kants Kritik der teleologisch reflektierenden Urteilskraft in Gang (...) zu setzen. Denn für Kant vermag nur eine wohlverstandene kritisch reflektierte Teleologie die Einheit der endlichen Vernunft denkbar zu machen und damit die Transzendentalphilosophie zu vollenden. (shrink)

_Heidegger's Hidden Sources_ documents for the first time Heidegger's remarkable debt to East Asian philosophy. In this groundbreaking study, Reinhard May shows conclusively that Martin Heidegger borrowed some of the major ideas of his philosophy - on occasion almost word for word - from German translations of Chinese Daoist and Zen Buddhist classics. The discovery of this astonishing appropriation of non-Western sources will have important consequences for future interpretations of Heidegger's work. Moreover, it shows Heidegger as a pioneer of (...) comparative philosophy and transcultural thinking. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

English summary: Was the moral philosophy of David Hume shaped by Chinese and Confucian influence? What evidence is there to support this, at the first view, bold thesis? Reinhard May first searches through his evidence for information relevant to the significance of Chinese thought in European philosophy from the end of the 16th to about the mid- 18th century. Hume also stood in this intellectual tradition, as countless of his references to China and Confucius show. Subsequently the core (...) philosophical content of Hume's early moral philosophical writings is compared with the Chinese body of thought in the form of the early version of the Mencius. The corresponding congruence of the moral philosophical positions of both is made graphically clear. The work of Reinhard May provides impressive clues for his initial suspicion: the moral philosophy of David Hume is based on substantial agreements with Chinese thought. The study of Hume is essentially enriched by this new thematic material. German description: Wurde die Moralphilosophie David Humes durch chinesische und confucianistische Einfluesse gepragt? Welche Hinweise sprechen fuer diese auf den ersten Blick recht gewagte These?Reinhard May sichtet in seinem Indizienbeweis zunachst die einschlagigen Informationen zu der Wirkungsmachtigkeit chinesischen Denkens in der europaischen Philosophie vom Ende des 16. bis um die Mitte des 18. Jahrhunderts. Auch Hume steht in dieser Denktradition, wie zahlreiche seiner Bezugnahmen auf China und Confucius zeigen.En detail wird anschliessend der philosophische Kerngehalt der fruehen moralphilosophischen Schriften Humes chinesischem Gedankengut in Form der fruehen Mengzi-Versionen gegenueber gestellt. Die sinngemasse Ubereinstimmung beider moralphilosophischer Positionen wird plastisch sichtbar gemacht.Die Arbeit von Reinhard May liefert so eindrueckliche Anhaltspunkte fuer seinen Anfangsverdacht: die Moralphilosophie David Humes basiert auf massgeblichen Ubereinstimmungen mit chinesischem Gedankengut. Die Hume-Forschung wird damit ganz wesentlich um einen neuen Themenkomplex bereichert. (shrink)

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

Measurement instruments assessing multiple emotions during epistemic activities are largely lacking. We describe the construction and validation of the Epistemically-Related Emotion Scales, which measure surprise, curiosity, enjoyment, confusion, anxiety, frustration, and boredom occurring during epistemic cognitive activities. The instrument was tested in a multinational study of emotions during learning from conflicting texts. The findings document the reliability, internal validity, and external validity of the instrument. A seven-factor model best fit the data, suggesting that epistemically-related emotions should be conceptualised in terms (...) of discrete emotion categories, and the scales showed metric invariance across the North American and German samples. Furthermore, emotion scores changed over time as a function of conflicting task information and related significantly to perceived task value and use of cognitive and metacognitive learning strategies. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

Non-therapeutic circumcision violates boys’ right to bodily integrity as well as to self-determination. There is neither any verifiable medical advantage connected with the intervention nor is it painless nor without significant risks. Possible negative consequences for the psychosexual development of circumcised boys (due to substantial loss of highly erogenous tissue) have not yet been sufficiently explored, but appear to ensue in a significant number of cases. According to standard legal criteria, these considerations would normally entail that the operation be deemed (...) an ‘impermissible risk’—neither justifiable on grounds of parental rights nor of religious liberty: as with any other freedom right, these end where another person's body begins. Nevertheless, after a resounding decision by a Cologne district court that non-therapeutic circumcision constitutes bodily assault, the German legislature responded by enacting a new statute expressly designed to permit male circumcision even outside of medical settings. We first criticise the normative foundations upon which such a legal concession seems to rest, and then analyse two major flaws in the new German law which we consider emblematic of the difficulty that any legal attempt to protect medically irrelevant genital cutting is bound to face. (shrink)

In this note, we review paradoxes like Russell’s, the Liar, and Curry’s in the context of intuitionistic logic. One may observe that one cannot blame the underlying logic for the paradoxes, but has to take into account the particular concept formations. For proof-theoretic semantics, however, this comes with the challenge to block some forms of direct axiomatizations of the Liar. A proper answer to this challenge might be given by Schroeder-Heister’s definitional freedom.

In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right (...) set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants. (shrink)

The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.

This paper shows how the dynamic interpretation of natural language introduced in work by Hans Kamp and Irene Heim can be modeled in classical type logic. This provides a synthesis between Richard Montague's theory of natural language semantics and the work by Kamp and Heim.

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

We consider several puzzles of bounded rationality. These include the Allais- and Ellsberg paradox, the disjunction effect, and related puzzles. We argue that the present account of quantum cognition—taking quantum probabilities rather than classical probabilities—can give a more systematic description of these puzzles than the alternate treatments in the traditional frameworks of bounded rationality. Unfortunately, the quantum probabilistic treatment does not always provide a deeper understanding and a true explanation of these puzzles. One reason is that quantum approaches introduce additional (...) parameters which possibly can be fitted to empirical data but which do not necessarily explain them. Hence, the phenomenological research has to be augmented by responding to deeper foundational issues. In this article, we make the general distinction between foundational and phenomenological research programs, explaining the foundational issue of quantum cognition from the perspective of operational realism. This framework is motivated by assuming partial Boolean algebras. They are combined into a uniform system via a mechanism preventing the simultaneous realization of perspectives. Gleason’s theorem then automatically leads to a distinction between probabilities that are defined by pure states and probabilities arising from the statistical mixture of pure states. This formal distinction relates to the conceptual distinction between risk and ignorance. Another outcome identifies quantum aspects in dynamic macro-systems using the framework of symbolic dynamics. Finally, we discuss several ideas that are useful for justifying complementarity in cognitive systems. (shrink)

Taking the lead from orthodox quantum theory, I will introduce a handy generalization of the Boolean approach to propositions and questions: the orthoalgebraic framework. I will demonstrate that this formalism relates to a formal theory of questions (or ‘observables’ in the physicist’s jargon). This theory allows formulating attitude questions, which normally are non-commuting, i.e., the ordering of the questions affects the answer behavior of attitude questions. Further, it allows the expression of conditional questions such as “If Mary reads the book, (...) will she recommend it to Peter?”, and thus gives the framework the semantic power of raising issues and being informative at the same time. In the case of commuting observables, there are close similarities between the orthoalgebraic approach to questions and the Jäger/Hulstijn approach to question semantics. However, there are also differences between the two approaches even in case of commuting observables. The main difference is that the Jäger/Hulstijn approach relates to a partition theory of questions whereas the orthoalgebraic approach relates to a ‘decorated’ partition theory (i.e. the elements of the partition are decorated by certain semantic values). Surprisingly, the orthoalgebraic approach is able to overcome most of the difficulties of the Jäger/Hulstijn approach. Furthermore, the general approach is suitable to describe the different types of (non-commutative) attitude questions as investigated in modern survey research. Concluding, I will suggest that an active dialogue between the traditional model-theoretic approaches to semantics and the orthoalgebraic paradigm is mandatory. (shrink)

Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional properties. In the latter approach the denotation of a sentence determines its truth conditions and can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In this short paper, we develop a vector semantics for language based (...) on the simply typed lambda calculus. Our semantics uses techniques familiar from the truth conditional tradition and is based on a form of dynamic interpretation inspired by Heim's context updates. (shrink)

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data structures, (...) pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (shrink)

This introductory chapter summarises key findings of the twenty-two book chapters in terms of five propositions. These propositions, each building on relevant findings linked to forward-looking suggestions for research, policy and practice, reflect the architecture of the book, whose sections proceed from setting the stage to critical issues, followed by a section on methods and tools, to chapters that provide geographic perspectives, and finally to a section that identifies potential policy options. The propositions comprise (1) Risk management can be an (...) effective entry point for aligning perspectives and debates, if framed comprehensively, coupled with climate justice considerations and linked to established risk management and adaptation practice; (2) Attribution science is advancing rapidly and fundamental to informing actions to minimise, avert, and address losses and damages; (3) Climate change research, in addition to identifying physical/hard limits to adaptation, needs to more systematically examine soft limits to adaptation, for which we find some evidence across several geographies globally; (4) Climate risk insurance mechanisms can serve the prevention and cure aspects emphasised in the L&D debate but solidarity and accountability aspects need further attention, for which we find tentative indication in applications around the world; (5) Policy deliberations may need to overcome the perception that L&D constitutes a win-lose negotiation “game” by developing a more inclusive narrative that highlights collective ambition for tackling risks, mutual benefits and the role of transformation. [Open access]. (shrink)

In this paper, we study a concept of universe for a truth predicate over applicative theories. A proof-theoretic analysis is given by use of transfinitely iterated fixed point theories . The lower bound is obtained by a syntactical interpretation of these theories. Thus, universes over Frege structures represent a syntactically expressive framework of metapredicative theories in the context of applicative theories.

Force, Fate, and Freedom serves as an introduction to historical sociology, as well as a critical analysis of the belief in economic and political progress through social knowledge. Reinhard Bendix offers a development of the historicist approach to social change first championed by Max Weber, and presents an overview of the foundations of political authority in Japan, Russia, Germany, France, and England.

English summary: The wide-ranging work of Ernst Fraenkel lead to the foundation of postwar political science. In his role as "American in Berlin," Fraenkel helped shape the foundation of modern comparative government theory. Fraenkel's impressive, and in retrospect exemplary, biography, from being a Jewish labor lawyer in the Third Reich to an emigrant to the United States, allowed for him to be described as a commanding figure of the young field of political science of the Adenauer era. Reinhard Dorn (...) illuminates Fraenkel's integrative state and constitutional understanding in two parts. In the first section, he presents foundations and individual components of constitutional-sociological thought, whereby he focuses particular attention on sociological and policy-sociological aspects. The second section documents the performance range of Fraenkel's constitution sociology by comparing Anglo-American and continental European constitutional thinking with its respective constitutional reality, all based on his own interdisciplinary analysis. German text. German description: Die Beschaftigung mit dem breit gefacherten Werk von Ernst Fraenkel fuehrt zu den Grundlagen der Nachkriegs-Politikwissenschaft. In seiner Rolle als Amerikaner in Berlin hat Fraenkel das Fundament der modernen vergleichenden Regierungslehre mitgestaltet. Dabei hat Fraenkels beeindruckende und im Rueckblick exemplarisch wirkende Biographie vom juedischen Arbeitsrechtler und Rechtsanwalt im Dritten Reich ueber den Emigranten in die USA zur Portalfigur der jungen Politikwissenschaft der Adenauer-Ara seine Verfassungsvergleiche erst ermoglicht.In zwei Teilen beleuchtet Reinhard Dorn Fraenkels integratives Staats- und Verfassungsverstandnis: Im ersten Abschnitt stellt er Grundlagen und einzelne Bestandteile seines verfassungssoziologischen Denkens dar, wobei er insbesondere auf soziologische und politiksoziologische Aspekte eingeht. Der zweite Abschnitt dokumentiert die Leistungsbreite von Fraenkels Verfassungssoziologie, indem - ausgehend von dessen eigenen interdisziplinaren Analysen - angloamerikanisches und kontinentaleuropaisches Verfassungsdenken der jeweiligen Verfassungsrealitat gegenuebergestellt wird. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:diacritics 33.2 (2005) 71-97 [Access article in PDF] The Subject of Religion Lacan and the Ten Commandments Kenneth Reinhard Julia Reinhard Lupton Despite Freud's Nietzschean unmasking of religion as ideology, psychoanalysis has frequently been attacked as itself a religion, a cabal of analyst-priests dedicated to the worship of a dead master. Such critics "do not believe in Freud" in much the same way as atheists "do not (...) believe in God," and their rejections of psychoanalysis in the name of the secular partake in the very structure of religious thought they claim to repudiate. In Seminar XXI: Les non-dupes errent, Lacan comments on the blindness of the atheistic insight concerning religion: "I know that you're not believers, right? But that doesn't mean that you aren't all the more conned... because even if you are not believers, you still believe in that aspiration [for the love of God]. I won't say that you suppose it; rather, it supposes you" [Dec. 18, 1973; our trans.]. In Lacan's analysis, it is not that secular intellectuals suffer from unexamined religious "suppositions" or assumptions, to be swept away through a little ideology-critique or time on the couch. The case is rather, in Lacan's strong formulation, that religious discourse supposes us—supports and underwrites our very structures of being, subjectivity, and social interaction. That is, the secular subject is produced by the religious discourses that precede and continue to speak through it; the challenge for the contemporary critic is not to silence or debunk those discourses, but rather to bring the modern subject to assume responsibility for their enunciation.Throughout the decades of his seminar, Lacan addressed the monotheistic foundations of Western subjectivity as a set of discursive ruptures or cuts which continue to scar and brand the modern subject beyond their secular abrogation. Distinguishing between Freud "the individual with his atheistic profession of faith" and "the Freud who was the first to acknowledge the value and relevance of [the] myth... we call the death of God" [S VII 192–93], Lacan insists that Freud regarded monotheism as an epochal divide that irrevocably altered all that came before and after it: "On the left of this [monotheistic] message, there are some things that are henceforth outdated, obsolete; they no longer hold beyond the manifestation of the message. On the right, things are quite different" [172]. What, in Lacan's analysis, is the difference that monotheism has made, both during its periods of dominance and after? The laws, narratives, and symbols of monotheism continue to undergird key fantasies of personhood, nationhood, and neighborhood in the modernity that purports to have supplanted them. In Lacan's formulation, monotheism "supposes" the subject of these fantasies, precipitating it from out of the expanse of signifiers and in relation to a sublime object of both unbearable enjoyment and social obligation. Moreover, it is the scandal and the gift of monotheism that it not only creates moments of traumatic singularity, but also thinks the singular as trauma, rending the fabric of an animistic nature which would unite every polarity of being in the fullness of a sexual relation. Unlike the gods of Greek philosophy, the monotheistic God is not part of the nature he creates. In its decisive thinking of singularity, monotheism elicits and eludes all rapprochement with philosophical conceptions of the One, whether in the guise of Hellenized Judaism, Pauline theology, or Arab Aristotelianism. Lacan extends the monotheistic project of thinking singularity [End Page 71] by insisting that "there is something of One" [il y a de l'Un]—not the self-identical One of Greek logic, mathematics, and cosmology, but the One of a violent rupture that creates subjects and their worlds around a void, an un that un-does the primacy it speaks.If, from the Lacanian vantage, the singular invention of the God shared by the People of the Book forever separates religion from philosophy, we would also insist that religion is not simply a subset of "culture," understood as the symbolic practices that unify a people... (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating readings (...) first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

Nietzsche and Shaw are famous and infamous: famous for their innovative and influential forms of writing, but infamous for their apparent support of totalitarianism and Nazism. However, while it has long been shown that Nietzsche’s provocative language about “breeding” and “masters and slaves” was intended to enhance culture through competition, it is still an open question how and when Shaw supported biological eugenics. Via Nietzsche’s “philosophical breeding,” this article presents a new reading of Shaw’s Man and Superman: on the one (...) hand, it contrasts Nietzsche’s philosophical Übermensch with Shaw’s eugenic Superman; and on the other hand, it connects Nietzsche’s agonistic enhancement of culture with Shaw’s philosophical reflections in “Don Juan in Hell.” In contrast to Tanner’s support of eugenic breeding in his Revolutionist’s Handbook, Shaw’s Don Juan remarkably resembles Nietzsche’s notion of “philosophical breeding” toward a more competent, truthful, and autonomous orientation that is needed in increasingly complex global politics. (shrink)

We give a survey on truth theories for applicative theories. It comprises Frege structures, universes for Frege structures, and a theory of supervaluation. We present the proof-theoretic results for these theories and show their syntactical expressive power. In particular, we present as a novelty a syntactical interpretation of ID1 in a applicative truth theory based on supervaluation.

In this paper we summarize some results about sets in Frege structures. The resulting set theory is discussed with respect to its historical and philosophical significance. This includes the treatment of diagonalization in the presence of a universal set.

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical (...) object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)